Paving the way for electoral reform

Electronic voting systems are being introduced, or trialled, in several countries to provide more efficient voting procedures with an increased level of security. However, current deployment has resulted in catastrophic failure due to unrealistic trust assumptions. In particular, the trustworthiness of hardware/software and election officials has been assumed. In practice, it is very difficult to establish this level of trust and thus systems are vulnerable to attack. Our research into election verifiability overcomes these problems and paves the way for the deployment of dependable electronic voting systems. A major difference between electronic and traditional paper-based elections is the lack of transparency. In the current paper-based UK system it is possible to observe the whole election process from ballot casting to tallying, and we rely upon robustness characteristics of the physical world; such as the impossibility of altering the markings on a paper ballot sealed inside a locked ballot box. By comparison, it is not possible to observe the electronic operations performed on data, accordingly computer systems may alter voting records in a way that cannot be detected by voters or election observers. The concept of election verifiability has emerged in the academic literature to address this problem. It allows voters and election observers to verify that votes have been recorded, tallied and declared correctly; in a manner independent from the hardware and software running the election. Three aspects of verifiability are considered: